Other things besides number: Abstraction, constraint propagation, and string variable types
نویسندگان
چکیده
منابع مشابه
How Neutrinos Get Mass and What Other Things May Happen besides Oscillations
Add 3 heavy singlet right-handed neutrinos to the minimal standard model: 1 νR for each νL. Then the operator of Eq. (3) is realized because each heavy νR is linked to νLφ 0 with a Yukawa coupling f ; and since νR is allowed to have a large Majorana mass MR, the famous seesaw realtionship mν = m 2 D/MR is obtained, where mD = f〈φ0〉. This mechanism dominates the literature and is usually implied...
متن کاملConstraint Propagation and Explanation over Novel Types by Abstract Compilation
The appeal of constraint programming (CP) lies in compositionality – the ability to mix and match constraints as needed. However, this flexibility typically does not extend to the types of variables. Solvers usually support only a small set of pre-defined variable types, and extending this is not typically a simple exercise: not only must the solver engine be updated, but then the library of su...
متن کاملTropes and Other Things
Our day-today experience of the world regularly brings us into contact with middle-sized objects such as apples, dogs, and other human beings. These objects possess observable properties, properties that are available or accessible to the unaided senses, such as redness and roundness, as well as properties that are not so available, such as chemical ones. Both of these kinds of properties serve...
متن کاملComplex Constraint Abstraction: Global Constraint Visualisation
In this chapter we describe visualization tools for global constraints in the CHIP system. These tools help to understand the behavior of different global constraints, the core feature of the CHIP constraint language. The tools follow a general classification scheme for the use of global constraints in global constraint concepts. Each concept captures the use of a constraint for a particular ty...
متن کاملAn Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation
Soft constraints are very flexible and expressive. However, they also are very complex to handle. For this reason, it may reasonable in several cases to pass to an abstract version of a given soft problem, and then to bring some useful information from the abstract problem to the concrete one. This will hopefully make the search for a solution, or for an optimal solution, of the concrete proble...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Constraints
سال: 2016
ISSN: 1383-7133,1572-9354
DOI: 10.1007/s10601-016-9263-9